MEMBANGUN IDENTITAS MEREK KOTA BOGOR MELALUI KAMPANYE “WE LOVE BOGOR” DI MEDIA SOSIAL

Indonesian's presidential social media campaigns

Social media has been used for political campaigns of presidential candidates in a number of democratic countries, including Indonesia.The candidates for president and vice president have been following the latest trends in the virtual world by using social media such as: 1) Facebook, and 2) Twitter.The author's continuing research with a focus on the popularity of candidates for president and ...

THE EASST NEWSLETTER Bogor: An Extensible Framework for Domain-Specific Model Checking

Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both the requirements for software systems and the processes by which systems are developed suggest that domain-specific model checking engines may be more effective than general purpose model checking tools. To overcome limit...

Poultry value chains and HPAI in Indonesia: The case of Bogor

Analysis Various Factors that Influence the Purchasing Behavior of Goat Milk in Bogor Regency, Indonesia

This study were aimed to analyze the market segmentation of goat milk in the Bogor region, Indonesia and to analyze the consumer characteristics and factors which affecting consumer behavior in consuming goat milk in order to serve as the basic data in formulating the marketing strategies of goat's milk in Bogor Regency. The subjects of this study were agents, retailers and goat milk consumers....

Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework

Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both the requirements for software systems and the processes by which systems are developed suggest that domain-specific model checking engines may be more effective than general purpose model checking tools. To overcome limit...